остальная часть доказательства уже более-менее очевидна

Mathematics: the rest part of the proof is now more or less straightforward